#include "kernel/types.h"
#include "kernel/stat.h"
#include "user/user.h"

int
main(int argc, char *argv[])
{
  if(argc != 2) {
    printf("usage: sleep [sleep times]");
    exit(1);
  }
  int n = atoi(argv[1]);
  sleep(n);
  exit(0);
}

